$\forall$$n$:$\mathbb{N}$. 1 $\uparrow$ $n$ = 1 $\in$ $\mathbb{Q}$